GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>Michael Beeson</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Michael Beeson</span></h1>

</header>

</div>

<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p><b>Michael J. Beeson</b> (* <a href="19._August" title="19. August">19. August</a> <a href="1945" title="1945">1945</a> in <a href="Topeka" title="Topeka">Topeka</a>, <a href="Kansas" title="Kansas">Kansas</a>) ist ein <a href="Vereinigte_Staaten" title="Vereinigte Staaten">US-amerikanischer</a> <a href="Mathematiker" title="Mathematiker">Mathematiker</a> und <a href="Informatiker" title="Informatiker">Informatiker</a>, der sich mit <a href="Mathematischer_Konstruktivismus" title="Mathematischer Konstruktivismus">konstruktiver Mathematik</a> befasst.

</p><p>Michael Beeson studierte Physik und Mathematik am <a href="California_Institute_of_Technology" title="California Institute of Technology">Caltech</a> mit dem <a href="Bachelor" title="Bachelor">Bachelor</a>-Abschluss 1967 und an der <a href="Stanford_University" title="Stanford University">Stanford University</a>, wo er sich bei <a href="Dana_Scott" title="Dana Scott">Dana Scott</a> mathematischer Logik zuwandte und 1972 bei <a href="Harvey_Friedman_(Mathematiker)" title="Harvey Friedman (Mathematiker)">Harvey Friedman</a> und <a href="Georg_Kreisel" title="Georg Kreisel">Georg Kreisel</a> promoviert wurde (Metamathematics of constructive theories of effective operations).<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> Zu seinen akademischen Lehrern gehörten dort auch <a href="Solomon_Feferman" title="Solomon Feferman">Solomon Feferman</a> und <a href="John_McCarthy" title="John McCarthy">John McCarthy</a>. Danach lehrte er an der <a href="University_of_California%2C_Santa_Cruz" title="University of California, Santa Cruz">University of California, Santa Cruz</a> (UCSC), war 1974 an der <a href="University_of_Texas_at_Austin" title="University of Texas at Austin">University of Texas at Austin</a> und 1975/76 als <i>Visiting Assistant Professor</i> in Stanford. 1976 war er an der <a href="Universiteit_van_Amsterdam" title="Universiteit van Amsterdam">Universität Amsterdam</a>, war Gastwissenschaftler in <a href="Bonn" title="Bonn">Bonn</a> (wo er sich mit <a href="Minimalfl%C3%A4che" title="Minimalfläche">Minimalflächen</a> befasste) und <a href="Berkeley" title="Berkeley">Berkeley</a> und war längere Zeit an der <a href="Universit%C3%A4t_Utrecht" title="Universität Utrecht">Universität Utrecht</a>. Ab 1981 war er Professor für Informatik an der <a href="San_Jos%C3%A9_State_University" title="San José State University">San José State University</a>, wobei er anfangs auch in Teilzeit an der UCSC unterrichtete. 2013 wurde er emeritiert.

</p><p>Von 1985 bis 1997 entwickelte er das Programm MathXpert, eine pädagogische Mathematik-Software zum Lernen von <a href="Algebra" title="Algebra">Algebra</a> und <a href="Analysis" title="Analysis">Analysis</a>, die er auch vertreibt. Danach befasste er sich mit automatischen Beweissystemen (<a href="Lambda-Kalk%C3%BCl" title="Lambda-Kalkül">Lambda-Kalkül</a> implementiert im Otter Beweissystem). Außerdem befasst er sich mit Minimalflächen (über die er als Student von <a href="Robert_Osserman" title="Robert Osserman">Robert Osserman</a> und <a href="Robert_Finn_(Mathematiker)" title="Robert Finn (Mathematiker)">Robert Finn</a> hörte).

</p><p>Beeson befasste sich auch seit Studentenzeiten mit <a href="Indische_Musik" title="Indische Musik">indischer Musik</a> (wozu er auch <a href="Indien" title="Indien">Indien</a> besuchte) und studierte die <a href="Sitar" title="Sitar">Sitar</a>. Er ist seit 1980 mit der niederländischen Psychologin Henny Nijland verheiratet, mit der er zwei Töchter hat.

</p>

<div class="mw-heading mw-heading2"><h2 id="Schriften">Schriften</h2></div>

<ul><li>Foundations of Constructive Mathematics: metamathematical studies, Springer 1985, ISBN 0-387-12173-0</li>

<li>Continuity in intuitionistic set theories, Mathematisch Instituut Amsterdam, 1977</li>

<li>On the area of harmonic surfaces, Mathematisch Instituut Amsterdam, 1977</li>

<li>Extensionality and choice in constructive mathematics, Mathematisch Instituut Amsterdam, 1976</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<ul><li><a rel="nofollow" class="external text" href="https://www.cs.sjsu.edu/~beeson/">Homepage</a></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="https://www.mathgenealogy.org/id.php?id=44459">Michael Beeson</a> im <a href="Mathematics_Genealogy_Project" title="Mathematics Genealogy Project">Mathematics Genealogy Project</a> (englisch) <span style="display:none">Vorlage:MathGenealogyProject/Wartung/id verwendet</span></span>

</li>

</ol>

<div>

Normdaten (Person): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/1065789831">1065789831</a></span> | <a href="Library_of_Congress_Control_Number" title="Library of Congress Control Number">LCCN</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/n84032720">n84032720</a></span> | <a href="Virtual_International_Authority_File" title="Virtual International Authority File">VIAF</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/108676219/">108676219</a></span> | </div>

</div></div>

</div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2023-12-31" href="https://de.wikipedia.org/wiki/?title=Michael_Beeson&oldid=240701607">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>